21. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده : \ Franco Fummi, Robert Wille, Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره‌ها
رده :
E-Book
,
22. Mathematical and Engineering Methods in Computer Science
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses,Computer science -- Mathematics -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
23. Metamodelling for software engineering
پدیدآورنده : / Brian Henderson-Sellers, César González-Pérez.,هندرسن-سلرز,Henderson-Sellers
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : نرمافزار,یو. ام. اِل (کامپیوتر),طراحی سیستم, -- مهندسی
رده :
QA
۷۶
/
۷۵۸
/
ھ
۹
م
۲ ۱۳۸۷
24. Model Checking Software
پدیدآورنده : \ Bernd Fischer, Jaco Geldenhuys (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47
I58
2015
E-Book
,
25. Multicore Software Engineering, Performance, and Tools
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses,Multiprocessors -- Congresses,Parallel programming (Computer science) -- Congresses,نرمافزار -- مهندسی -- کنگره‌ها,چندپردازنده‌ها -- کنگره‌ها,برنامه‌نویسی موازی -- کنگره‌ها
رده :
E-Book
,
26. Novel Insights in Agent-based Complex Automated Negotiation
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Intelligent agents (Computer software),Engineering,عوامل هوشمند (نرمافزار کامپیوتر),مهندسی
رده :
E-Book
,
27. Perspectives of System Informatics
پدیدآورنده : \ Andrei Voronkov, Irina Virbitskaite (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer science -- Congresses.,Computer science -- Mathematics -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
QA
76
.
758
.
P47
2015
E-Book
,
28. Proceedings of 5th International Conference in Software Engineering for Defence Applications
پدیدآورنده : \ [Edited by] Paolo Ciancarini...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها
رده :
E-Book
,
29. Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015)
پدیدآورنده : \ [Edited by] Radek Silhavy...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses.,Artificial intelligence -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,هوش مصنوعی-- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
S62
2015
E-Book
,
30. Product-Focused Software Process Improvement
پدیدآورنده : \ [edited by] Pekka Abrahamsson...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses,Computer software -- Development -- Management -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- تولید -- کنگره ها ,نرمافزار -- تولید -- مدیریت -- کنگره ها
رده :
QA
76
.
758
.
P7
2015
E-Book
,
31. Requirements Engineering
پدیدآورنده : \ Samuel A. Fricker , Kurt Schneider (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Requirements engineering -- Congresses.,Computer software -- Quality control -- Congresses.,مهندسی نیازمندی‌ها -- کنگره ها ,نرمافزار -- کنترل کیفی -- کنگره ها
رده :
QA
76
.
758
.
R4
2015
E-Book
,
32. Software Architect Bootcamp
پدیدآورنده : \ Raphael Malveau, Thomas J. Mowbray.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,Computer architecture,نرمافزار,کامپیوترها, -- مهندسی, -- ساختار,a03,a04,a03,a04
رده :
E-Book
,
33. Software Composition
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Development -- Congresses,Software engineering -- Congresses,Computer science,نرمافزار -- تولید -- کنگره‌ها,نرمافزار -- مهندسی -- کنگره‌ها,علوم کامپیوتر
رده :
E-Book
,
34. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
پدیدآورنده : \ Roger Lee Editor
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,Artificial intelligence,نرمافزار,هوش مصنوعی,-- Congresses,-- Congresses,-- کنگره‌ها,-- کنگره‌ها, -- مهندسی,a03,a04,a03,a04
رده :
E-Book
,
35. Software Engineering Research, Management and Applications
پدیدآورنده : \ Roger Lee Editor
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a03,a03,Computer software -- Development -- Congresses.,نرمافزار -- تولید -- کنگره ها
رده :
E-Book
,
36. Software Engineering Techniques
پدیدآورنده : \ Zbigniew Huzar...[et al.] (eds.).
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها
رده :
E-Book
,
37. Software Engineering Trends and Techniques in Intelligent Systems
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses,Artificial intelligence -- Congresses,نرمافزار -- مهندسی -- کنگره‌ها,هوش مصنوعی -- کنگره‌ها
رده :
E-Book
,
38. Software Engineering and Formal Methods
پدیدآورنده : \ Radu Calinescu , Bernhard Rumpe (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,Mathematical Logic and Formal Languages.,Software engineering -- Congresses.,مهندسی ن‍رم اف‍زار ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
758
.
S62
2015
E-Book
,
39. Software Engineering and Formal Methods
پدیدآورنده : \ Domenico Bianculli , Radu Calinescu, Bernhard Rumpe (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),نرمافزار -- مهندسی-- کنگره‌ها,روش‌های صوری (کامپیوتر) -- کنگره ها,(روش‌های صوری (کامپیوتر
رده :
QA
76
.
758
.
S62
2015
E-Book
,
40. Software Engineering for Resilient Systems
پدیدآورنده : \ Alessandro Fantechi , Patrizio Pelliccione (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering -- Congresses.,Computer software -- Reliability -- Congresses.,Computer software -- Reliability.,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- اطمینان‌پذیری -- کنگره ها ,نرمافزار -- اطمینان‌پذیری
رده :
QA
76
.
758
.
S62
2015
E-Book
,
